Goto

Collaborating Authors

 Constraint-Based Reasoning




Perceptual Kalman Filters: Online State Estimation under a Perfect Perceptual-Quality Constraint

Neural Information Processing Systems

Many practical settings call for the reconstruction of temporal signals from corrupted or missing data. Classic examples include decoding, tracking, signal enhancement and denoising.



Provably Safe Reinforcement Learning with Step-wise Violation Constraints

Neural Information Processing Systems

We name this problem Safe-RL-SW . Our step-wise violation constraint differs from prior expected violation constraint (Wachi & Sui, 2020; Efroni et al., 2020b; Kalagarla et al., 2021) in two aspects: (i) Minimizing the step-wise violation enables the agent to learn an optimal policy that avoids unsafe regions deterministically,


Provably Safe Reinforcement Learning with Step-wise Violation Constraints

Neural Information Processing Systems

We name this problem Safe-RL-SW . Our step-wise violation constraint differs from prior expected violation constraint (Wachi & Sui, 2020; Efroni et al., 2020b; Kalagarla et al., 2021) in two aspects: (i) Minimizing the step-wise violation enables the agent to learn an optimal policy that avoids unsafe regions deterministically,